void timer (void);

void timerINIT(void);
